Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
641	Current Book Language ::= Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Computing Type systems Data types Inference Type inference ALGOL 68 Type theory Programming language theory Software engineering
642	Perl versiondocumentation - Filter::Simple NAME Filter::Simple - Simplified source filtering SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:52:25 Perl Filter theory Regular expressions Perl module Filter Electronic filter Perl language structure Computing Software engineering Computer programming
643	Microsoft Word - L2dataGuide_100416_参照__20100416173847_参照__20100419101309.doc Add to Reading List Source URL: smiles.isas.jaxa.jp Language: English - Date: 2010-04-19 01:13:22 Data types Hierarchical Data Format Data file ALGOL 68 Computing Programming language theory Software engineering
644	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Procedural programming languages Scripting languages ALGOL 68 Function User interface JavaScript Computing Software engineering Programming language theory
645	PCRPCSECPCRPCSECPRCCPCRPCSEC ro irDctlro irDctlriDrro irDctl ongoShhiongoShhiogSeongoShhi tfhtOeintfhtOeinthOdtfhtOein eitegdcieitegdcietgieitegdci cdscuusccdscuusccsubcdscuusc Add to Reading List Source URL: tmc.gov.in Language: English - Date: 2014-01-21 07:09:28 Documents Military terminology Pharmaceutical industry Standard operating procedure V1 Computer programming Documentation Tiny Encryption Algorithm ALGOL 68 Programming language theory Software engineering Clinical research
646	KOSMOS IDC 6.1 Instrument Controller to Data Handling System Add to Reading List Source URL: www.noao.edu Language: English - Date: 2011-03-07 16:42:58 Software engineering Exec POSIX Process Process.h Open ALGOL 68 Computing C POSIX library Programming language theory
647	Technical Report UCAM-CL-TR-569 ISSNNumber 569 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:57:58 Type theory Data types Type system Abstraction Abstract data type Type safety ALGOL 68 Programming language Lambda calculus Software engineering Computing Programming language theory
648	Beyond Proof-of-compliance: Security Analysis in Trust Management NINGHUI LI Purdue University JOHN C. MITCHELL Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:15:33 Datalog Central Intelligence Agency ALGOL 68 Propositional calculus Mathematical logic Logic Programming language theory
649	IP 128 Description: IP 128 Add to Reading List Source URL: www.easa.europa.eu Language: English - Date: 2015-05-10 14:15:05 Monosodium glutamate Aircraft maintenance checks ALGOL 68 Software engineering Time management Microgravity Science Glovebox Canadian Memorial Chiropractic College Food and drink Programming language theory Glutamates
650	Safety is in Your Hands 16th Annual Haskell Safety, Health, and Wellness Fair Sponsored by Add to Reading List Source URL: www.haskell.edu Language: English - Date: 2015-02-10 22:40:39 American Indian Higher Education Consortium Haskell Indian Nations University North Central Association of Colleges and Schools Haskell Programming language theory Kansas Lawrence Kansas Software engineering

UPDATE